Stichworte: Inductive discipline